package interfaces.gestores;

import interfaces.ICliente;
import tdg.contract.semanticAnnotations.ImportClass;
import tdg.contract.semanticAnnotations.Init;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;
import tdg.contract.semanticAnnotations.Inv;
import tdg.contract.semanticAnnotations.Query;

@Init ({""})
@Inv ({""})

public interface IGestorClientes {
	
	@Pre ({"c!=null #NullPointerException"})
	public void altaCliente(ICliente c);
	
	@Pre ({"c!=null #NullPointerException"})
	public void bajaCliente(ICliente c);
	
	@Pre ({"c1!=null && c2!=null #NullPointerException", "c1.getDni().equals(c2.getDni())"})
	public void modificacionCliente(ICliente c1, ICliente c2);
}
